Sequentially Continuous Linear Mappings in Constructive Analysis

نویسندگان

  • Douglas S. Bridges
  • Ray Mines
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A RELATED FIXED POINT THEOREM IN n FUZZY METRIC SPACES

We prove a related fixed point theorem for n mappings which arenot necessarily continuous in n fuzzy metric spaces using an implicit relationone of them is a sequentially compact fuzzy metric space which generalizeresults of Aliouche, et al. [2], Rao et al. [14] and [15].

متن کامل

Constructive Compact Linear Mappings

In this paper, we deal with compact linear mappings of a normed linear space, within the framework of Bishop's constructive mathematics. We prove the constructive substitutes for the classically well-known theorems on compact linear mappings: T is compact if and only if T* is compact; if S is bounded and if T is compact, then TS is compact; if S and T is compact, then S+ T is compact.

متن کامل

Fuzzy almost generalized $e$-continuous mappings

In this paper, we introduce and characterize the concept of fuzzy almost generalized $e$-continuous mappings. Several interesting properties of these mappings are also given. Examples and counter examples are also given to illustrate the concepts introduced in the paper. We also introduce the concept of fuzzy $f T_{frac{1}{2}}e$-space, fuzzy $ge$-space, fuzzy regular $ge$-space and  fuzzy gener...

متن کامل

Constructive Proof of Tychonoff’s Fixed Point Theorem for Sequentially Locally Non-Constant Functions

We present a constructive proof of Tychonoff’s fixed point theorem in a locally convex space for uniformly continuous and sequentially locally non-constant functions. Keywords—sequentially locally non-constant functions, Tychonoff’s fixed point theorem, constructive mathematics.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • J. Symb. Log.

دوره 63  شماره 

صفحات  -

تاریخ انتشار 1998